

add_subdirectory(man)
add_subdirectory(specification)